.ui-tools {
  user-select: none;
  &-info-line {
    @lineHeight: 24px;
    line-height: @lineHeight;
    font-size: 14px;
    padding: 0 8px;
    width: 100%;
    height: @lineHeight;
    overflow: hidden;
    white-space: nowrap;
    text-overflow: ellipsis;
    &-label {
      color: #999;
      margin-right: 8px;
    }
    &-input {
      display: inline-block;
      font-size: 14px;
      line-height: @lineHeight;
      height: @lineHeight;
      margin: 0;
      width: 100px;
      outline: none;
      border: none;
      border-radius: none;
      vertical-align: top;
    }
  }
  &-box-id {
    color: salmon;
    user-select: none;
    &:hover {
      opacity: 0.8;
    }
  }
  &-divider {
    height: 1px;
    background-color: #eee;
    width: 100%;
    margin: 8px 0;
  }
  &-button-group {
    > button {
      margin: 4px 8px;
    }
  }
}
